#ifndef __SYSCALL_H__
#define __SYSCALL_H__
#include "include/proc.h"
int sys_call_get_ticks();
int get_ticks();
int sys_write(char *buf, int len, int dump, PROCESS* p_proc);
int write(char *buf, u32 len);
int sys_sendrec(int function, int src_dest, MESSAGE *m, PROCESS *p);
int sendrec(int function, int src_dest, MESSAGE *m);
int printx(char *buf);
#endif